$\forall$${\it es}$:event\_system\{i:l\}, $e_{1}$,$e_{2}$:es{-}E(${\it es}$).
\\[0ex](loc($e_{2}$) = loc($e_{1}$) $\in$ Id) $\Rightarrow$ (($\uparrow$null(es{-}hist\{i:l\}(${\it es}$;$e_{1}$;$e_{2}$))) $\Leftarrow\!\Rightarrow$ es{-}locl(${\it es}$; $e_{2}$; $e_{1}$))